
#ifndef MSTP_DEFS_H
#define MSTP_DEFS_H

#include "base_types.h"
#include "assert.h"

struct BRIDGE;

void clearReselectBridge_802_1w_2001	(BRIDGE* bridge);
void disableForwarding_802_1w_2001		(BRIDGE* bridge, int givenPort);
void disableLearning_802_1w_2001		(BRIDGE* bridge, int givenPort);
void enableForwarding_802_1w_2001		(BRIDGE* bridge, int givenPort);
void enableLearning_802_1w_2001			(BRIDGE* bridge, int givenPort);
void flush_802_1w_2001					(BRIDGE* bridge, int givenPort);
void newTcWhile_802_1w_2001				(BRIDGE* bridge, int givenPort);
RCVD_INFO rcvBpdu_802_1w_2001			(BRIDGE* bridge, int givenPort);
bool recordProposed_802_1w_2001			(BRIDGE* bridge, int givenPort);
void setSyncBridge_802_1w_2001			(BRIDGE* bridge);
void setReRootBridge_802_1w_2001		(BRIDGE* bridge);
void setSelectedBridge_802_1w_2001		(BRIDGE* bridge);
void setTcFlags_802_1w_2001				(BRIDGE* bridge, int givenPort);
void setTcPropBridge_802_1w_2001		(BRIDGE* bridge, int givenPort);
void txConfig_802_1w_2001				(BRIDGE* bridge, int givenPort);
void txRstp_802_1w_2001					(BRIDGE* bridge, int givenPort);
void txTcn_802_1w_2001					(BRIDGE* bridge, int givenPort);
void updtBPDUVersion_802_1w_2001		(BRIDGE* bridge, int givenPort);
void updtRcvdInfoWhile_802_1w_2001		(BRIDGE* bridge, int givenPort);
void updtRoleDisabledBridge_802_1w_2001	(BRIDGE* bridge);
void updtRolesBridge_802_1w_2001		(BRIDGE* bridge);
bool allSynced_802_1w_2001				(BRIDGE* bridge, int givenPort);
bool reRooted_802_1w_2001				(BRIDGE* bridge, int givenPort);

// ============================================================================

#endif
